2

A linear algebraic approach to datalog evaluation

Year:
2017
Language:
english
File:
PDF, 317 KB
english, 2017
5

Completed logic programs and their consistency

Year:
1990
Language:
english
File:
PDF, 826 KB
english, 1990
6

A Numerical Approach to Genetic Programming for System Identification

Year:
1995
Language:
english
File:
PDF, 1.57 MB
english, 1995
10

Constraint-based probabilistic modeling for statistical abduction

Year:
2011
Language:
english
File:
PDF, 782 KB
english, 2011
42

Equivalence-preserving first-order unfold/fold transformation systems

Year:
1992
Language:
english
File:
PDF, 1.69 MB
english, 1992
44

First order compiler: A deterministic logic program synthesis algorithm

Year:
1989
Language:
english
File:
PDF, 1.23 MB
english, 1989